<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Alan Bundy</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Alan_Bundy"> <link href="./_mw_/ext.cite.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Alan_Bundy rootpage-Alan_Bundy skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Alan Bundy</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>Alan Richard Bundy</b> (* <a href="18._Mai" title="18. Mai">18. Mai</a> <a href="1947" title="1947">1947</a> in <a href="Isleworth" class="mw-redirect" title="Isleworth">Isleworth</a>) ist ein britischer <a href="Informatik" title="Informatik">Informatiker</a> und Logiker. Er befasst sich mit <a href="Maschinengest%C3%BCtztes_Beweisen" title="Maschinengestütztes Beweisen">Maschinengestütztem Beweisen</a>.
</p><p>Bundy wurde 1971 an der <a href="University_of_Leicester" title="University of Leicester">University of Leicester</a> bei <a href="Reuben_Goodstein" title="Reuben Goodstein">Reuben Goodstein</a> promoviert (The Metatheory of the Elementary Equation Calculus).<sup id="cite_ref-1" class="reference"><a href="#cite_note-1"><span class="cite-bracket">[</span>1<span class="cite-bracket">]</span></a></sup> Ab 1971 war er an der Universität Edinburgh zunächst in der Gruppe für automatische Beweise von <a href="Bernard_Meltzer_(Informatiker)" title="Bernard Meltzer (Informatiker)">Bernard Meltzer</a>. 1973 wurde er <a href="Lecturer" title="Lecturer">Lecturer</a>, 1984 Reader, 1987 Professorial Fellow und 1990 Professor. 1998 bis 2001 war er dort Leiter der Abteilung Informatik (School of Informatics).<sup id="cite_ref-2" class="reference"><a href="#cite_note-2"><span class="cite-bracket">[</span>2<span class="cite-bracket">]</span></a></sup>
</p><p>2011 erhielt er den <a href="IJCAI_Award_for_Research_Excellence" title="IJCAI Award for Research Excellence">IJCAI Award for Research Excellence</a>, 2003 den <a href="Donald_E._Walker_Distinguished_Service_Award" class="mw-redirect" title="Donald E. Walker Distinguished Service Award">Donald E. Walker Distinguished Service Award</a> und 2007 den <a href="Herbrand_Award" title="Herbrand Award">Herbrand Award</a>. 2012 wurde er Fellow der <a href="Royal_Society" title="Royal Society">Royal Society</a>, 1996 der <a href="Royal_Society_of_Edinburgh" title="Royal Society of Edinburgh">Royal Society of Edinburgh</a>, 2005 der <a href="IEEE" class="mw-redirect" title="IEEE">IEEE</a> und 2012 <a href="Order_of_the_British_Empire" title="Order of the British Empire">CBE</a>. Er ist Fellow der <a href="Royal_Academy_of_Engineering" title="Royal Academy of Engineering">Royal Academy of Engineering</a> und der <a href="Association_for_Computing_Machinery" title="Association for Computing Machinery">Association for Computing Machinery</a> (ACM). 2000 war er Gründer des UK Computing Research Committee und ab 2010 Vizepräsident der British Computer Society.
</p>
<div class="mw-heading mw-heading2"><h2 id="Schriften">Schriften</h2></div>
<ul><li>The Computer Modeling of Mathematical Reasoning, Academic Press 1983.</li>
<li>The use of explicit plans to guide inductive proofs, 9th International conference on automated deduction, Lecture Notes in Computer Science 310, Springer 1988, S. 111–120.</li>
<li>mit A. Stevens, F. Van Harmelen, A. Ireland, A. Smaill: Rippling: A heuristic for guiding inductive proofs, Artificial Intelligence, Band 62, 1993, S. 185.</li>
<li>Herausgeber: Artificial intelligence techniques. A comprehensive catalogue, Springer 1997</li></ul>
<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>
<ul><li><a rel="nofollow" class="external text" href="https://www.doc.ic.ac.uk/~rak/">Homepage</a></li></ul>
<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>
<ol class="references">
<li id="cite_note-1"><span class="mw-cite-backlink"><a href="#cite_ref-1">↑</a></span> <span class="reference-text"><a rel="nofollow" class="external text" href="https://www.mathgenealogy.org/id.php?id=84451">Alan Bundy</a> im <a href="Mathematics_Genealogy_Project" title="Mathematics Genealogy Project">Mathematics Genealogy Project</a> (englisch) <span style="display:none">Vorlage:MathGenealogyProject/Wartung/id verwendet</span></span>
</li>
<li id="cite_note-2"><span class="mw-cite-backlink"><a href="#cite_ref-2">↑</a></span> <span class="reference-text">Die Abteilung hiess in den 1960er Jahren Metamathematik, ab 1972 Department of Computational Logic, 1974 Department of Artificial Intelligence woraus 1998 die School of Informatics wurde</span>
</li>
</ol>
<div class="hintergrundfarbe1 rahmenfarbe1 navigation-not-searchable normdaten-typ-p" style="border-style: solid; border-width: 1px; clear: left; margin-bottom:1em; margin-top:1em; padding: 0.25em; overflow: hidden; word-break: break-word; word-wrap: break-word;" id="normdaten">
<div style="display: table-cell; vertical-align: middle; width: 100%;">
<div>
Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/1344610226">1344610226</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n82272592">n82272592</a></span> | <a href="Web_NDL_Authorities" title="Web NDL Authorities">NDL</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.ndl.go.jp/auth/ndlna/00434782">00434782</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/12460904/">12460904</a></span> | </div>
</div></div>
</div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2025-06-17" href="https://de.wikipedia.org/wiki/?title=Alan_Bundy&oldid=257125106">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>